Agent Logic

Results: 192



#Item
151Towards Verified Distributed Software Through Refinement of Formal Archetypes K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1  2

Towards Verified Distributed Software Through Refinement of Formal Archetypes K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1 2

Add to Reading List

Source URL: leecenter.caltech.edu

Language: English - Date: 2009-05-08 13:31:13
152Physical Agent Modalities Practitioner Credentialing Agency, LLC PAMPCA, LLC 1408 South Western Avenue, #104 Marion, IN[removed]8473 AFFIDAVIT AND RELEASE

Physical Agent Modalities Practitioner Credentialing Agency, LLC PAMPCA, LLC 1408 South Western Avenue, #104 Marion, IN[removed]8473 AFFIDAVIT AND RELEASE

Add to Reading List

Source URL: www.pampca.org

Language: English - Date: 2014-09-03 23:49:29
153The Giant: An Agent-based Approach to Knowledge Construction & Sharing Thomas R. Reichherzer, Alberto J. Cañas, Kenneth M. Ford, Patrick J. Hayes Institute for Human & Machine Cognition The University of West Florida 11

The Giant: An Agent-based Approach to Knowledge Construction & Sharing Thomas R. Reichherzer, Alberto J. Cañas, Kenneth M. Ford, Patrick J. Hayes Institute for Human & Machine Cognition The University of West Florida 11

Add to Reading List

Source URL: www.ihmc.us

Language: English - Date: 2010-02-23 09:48:07
154REQUEST FOR PROPOSALS to serve as PROCUREMENT AGENT for the DELAWARE SUSTAINABLE ENERGY UTILITY for the

REQUEST FOR PROPOSALS to serve as PROCUREMENT AGENT for the DELAWARE SUSTAINABLE ENERGY UTILITY for the

Add to Reading List

Source URL: imageserv.team-logic.com

Language: English - Date: 2011-12-15 15:54:31
155LCW-Based Agent Planning for the Semantic Web Jeff Heflin and Hector Muñoz-Avila Dept. of Computer Science & Engineering Lehigh University 19 Memorial Drive West Bethlehem, PA 18015

LCW-Based Agent Planning for the Semantic Web Jeff Heflin and Hector Muñoz-Avila Dept. of Computer Science & Engineering Lehigh University 19 Memorial Drive West Bethlehem, PA 18015

Add to Reading List

Source URL: www.cse.lehigh.edu

Language: English - Date: 2002-08-27 12:05:53
156Testing the benefits of structured argumentation in multi-agent deliberation dialogues Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, and Gerard A. W. Vreeswijk Department of Information and Computing Sciences, Utrech

Testing the benefits of structured argumentation in multi-agent deliberation dialogues Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, and Gerard A. W. Vreeswijk Department of Information and Computing Sciences, Utrech

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2012-04-08 11:38:48
157Towards a Multi-agent System for Regulated Information Exchange in Crime Investigations Pieter Dijkstra1, Floris Bex1, Henry Prakken1,2 and Kees de Vey Mestdagh1 1  Centre for Law & ICT, Faculty of Law

Towards a Multi-agent System for Regulated Information Exchange in Crime Investigations Pieter Dijkstra1, Floris Bex1, Henry Prakken1,2 and Kees de Vey Mestdagh1 1 Centre for Law & ICT, Faculty of Law

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2005-11-07 04:44:20
158

PDF Document

Add to Reading List

Source URL: www.theimpactinstitute.org

Language: English - Date: 2004-10-18 20:01:34
159

PDF Document

Add to Reading List

Source URL: www.suomenpankki.fi

Language: English - Date: 2013-09-09 03:33:23
160PREPARATION GUIDE  SPECIAL AGENT ENTRANCE EXAM

PREPARATION GUIDE SPECIAL AGENT ENTRANCE EXAM

Add to Reading List

Source URL: www.secretservice.gov

Language: English - Date: 2013-05-31 15:13:23